d1 Ex d2 q 1